how to change file type from text to bat